Nuprl Lemma : comb_for_set_blt_wf 13,42

(p,a,b,za < b p:PosetSig|p||p|(True) 
latex


Upsets 1
Definitionst  T, , x:AB(x), T
Lemmasposet sig wf, set car wf, true wf, squash wf, set blt wf

origin